x86emul: all push flavors are data moves
authorJan Beulich <jbeulich@suse.com>
Fri, 12 Aug 2016 14:55:48 +0000 (16:55 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 12 Aug 2016 14:55:48 +0000 (16:55 +0200)
commit3c71d160677fa4f4b769f33fe201ecd9219ab234
tree5475b8dea56747d6632068e1ff6c690cccdffed7
parenta3227edc20108e120021caccb9f79ca6741ffb9e
x86emul: all push flavors are data moves

Make all paths leading to the "push" label have the Mov flag set, and
ASSERT() that to be the case. For the opcode FF group the adjustment is
benign for the paths not leading to "push", as they all set dst.type to
OP_NONE

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/x86_emulate/x86_emulate.c